control flow analysis

控制流程分析